Euler's four-square identity